perm filename CMSSI9.360[360,GF]1 blob sn#803293 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~F∧  GβQp∂∧@UXβ⊗`ePβV@0λα⊗ 0⊂α⊗ 0⊂α⊗0_α∃`@_α∃`0 α∃@@(↓U@00α∃ @0α∃@8α∃@8α∀`@@α∀`0Hα∀@@Pα∀@0Xα∀ @Xα∀αE
∪bTx↓C@Tpαβ`Dhα∧Dhα∧D`α∧ D`α∧ DXα∧@DX↓ED("⊂C!x∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P 'A↓`_'A↓P 'A↓P_'↓↓P '↓↓@ '↓↓ ('∧)a&DIP ∧↓iP ¬A)P ε↓	@ π↓	@ π↓	@ π↓	@ π↓	@ π↓	0 π↓	0 εA	0 ε↓)0 ∧Ai1⊂%∧I x"Qλ1H∂Hβpp∧∃AE πT``0α∀ PXTTxαS`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPα∩@DPαR`DXα∪D`αC$hβ↓`Tpλ∀↓U⊂∧⊃(D ∞λ#apββj↓λ(∧J ∧AJ ¬A)p εA	p εA)p π↓	p π↓	p πA	` λ↓	` λ↓	` λ↓	` λ↓	` λiP λ↓	P λ↓	P λ↓	P λi@ λ↓	@ λ↓	@ πA	@ π↓	@ π↓	0 π↓	0 εA	0 ¬A)0 ∧AI1⊂%∧) p"QλQP∂GC`0	Tα5	TEα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪B$p	∪"$hα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DX
∩BDP
⊃(D0GCapβ∧J↓⊂(∧J (↓	p 'A	p 'A	p '↓	` '↓	` '∧	Q&D	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT #Fd∩∂Ca¬0π∃α∃_β↓`U⊂αB`%αTDxα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@@X∧R@@X∧R@@P∧R@@xα∩@@xα∩@@xα∩@Ppα∩`@hα∩`@hα∪@`α∪ @Xα∪ `@αSB∃π∀A∧("∩βR⊂∂π@` π↓
 π↓
 π↓
 π↓
 π↓	p π↓	p π↓	p π↓	p π↓	p π↓	` π↓	` π↓	` π↓	a0'¬IQ0&A↓` &A↓` &A↓` &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓` %A↓` %A↓` %A↓` %↓↓` %↓↓` "Q	⊂XπGC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(DPεβqpλA0 -A0 -A  -↓  -↓  ,A⊂ ,A⊂ ,A ,↓ ,↓
p +A
p +A
p +↓
` +↓	0λ∧A	0_β↓) p&αI`0"Q	1p⊃GC`0αβ@Uαβ UαβUαα`Uαα@Txαα@Dxαα Dxα↓`Txα↓@Txα↓ Tpα↓ Tpα↓Tpα`Tpα@tpα!∧hα @λα∪!_α∪ p α∪ `(αS`8α∪P@αS@Pα∪@Pα∪@Xα∩`@`α∩`@`αR`@hα∩`@hαR`@pα∩@@xα∩@Aα⊃(D`	¬capβ↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %D)!λ%∧(T &I¬⊃p∂↓@aλβ∀aλβ∀aβTaβT@λC`0λα∪`@⊂C@0λα∪`@λ↓β@0λα∪`@λ↓C@λα∪`@λ↓C0⊂α∪`@λ↓B`@⊂α∪@@_↓α`0⊂α∪@@_↓α@@⊂α∪@@_↓α@0_α∪@@_↓α @_α∪@@_↓A`@ α∪ @ ↓A`@_α∪ @ ↓A@@ α∪ @ ↓A@@ α∪ @ ↓A @(α∪@(↓A @ α∪@(↓A@(α∪@0↓↓00α∪@0↓`@0α∪@0↓@@08α∩`@8↓@ @0α∩`@8↓@ 08α∩`@8βA`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓a0 (↓⊂_¬↓	p ↓a⊂ 'A _∧A	p ↓a⊂ 'A  ∧↓	p ↓↓↓ '↓0 βA	` α`p '↓@ β↓	` α↓` '↓@ β↓	P αAP &A`_αA	P β↓@ &A` α↓	@ βA0 &↓↓_↓A	@ ∧`0 &↓↓ ↓↓	@ ∧↓  %A↓⊂ A	0 ¬`⊂ %A↓ _A	0 ¬α	0 ¬α	  ε↓I  ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓	p ε↓	p ε↓	p ε↓	p ε↓	p ε↓	` ε@i` ε↓	` ¬A	` ¬↓	` ∧↓IQλ&D	Ph&A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A	p εA	p εA	p εA	p εA	p ε@i` εA	` ε↓	` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓  &↓↓  %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
  )↓
  (A
⊂ (A
⊂ (A
 (↓
 (↓
 'A	p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα  %Aα  %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓!  &A↓  &A↓⊂ &A↓⊂ &A↓ &A↓_&A ` '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@`  '@` _'Aip8'AJ("Q
rP_GC`αβ@`pα∩@@hβC DPαβ phα∩@@hβCDXααa`α∩`@X↓@ @Xα∩`@Pα@0Xα∩`@P↓@`0Pα∩`@Hα`0Pα∩`@H↓A0Hα∩`@@α↓0Hα∩`@@↓A @8α∩`@8α↓ @8α∩`@8↓A@@0α∩`@0α↓@@0α∩`@0↓A`@0↓R`@(α↓`@(α∩`@(↓B@(↓R`@ αα@ α∪0 ↓B @ ↓S0_αα @_α∪0_↓B`0_↓S0_↓B`0⊂α∪0⊂↓C0⊂↓S0⊂↓C0⊂↓S0λ↓C 0λ↓S0λ↓C 0λ↓S`pβ∪`pβ∪PxαSPxαQ(E@⊂HCapβA"()↓↓p()↓!P()A↓@()A! (*↓!(*Ap(*A P(+↓P +↓ 0 +A  +B+8,↓K⊂ ,↓Jp8+α*P(A
@(↓A
@ α↓
0 β↓
  βA*⊂ ∧A
 ¬↓)p ε↓	` εA)P πA	@(πA)0(λA) (	↓(T ,G$Ap∂Q_αR@Q_α∩`Qλα∩`Qα∪Ppα∪Phα∪ PXαS PPαS@@HαS@P8αS`@0αS`P αT@ α∀P⊂α∀ @λα∀!¬⊂β∀@e_α∀@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eλ↓TEα⊃(EP∞πcapβ¬*↓((¬+p(/A` .A@(-A+0 -↓⊂ ,↓
p(+↓*` *A
@ )A* ((A*⊂ (↓	p '↓)P(&↓)@ %EI!0%¬HT 0DBQ_	Bdx¬SATp↓A@Dh↓α E@α⊗E@α∃`E¬SAT`β↓ DXαA`DPααDPααDPααDPαA dPλ∩a⊂λα∪`_α⊃(F⊂
¬capβ↓
 (↓
 (↓	p 'A	p 'A	p '↓	` α↓)` B)`x'↓@P(&A! &A↓⊂ &A↓⊂ &A↓⊂ &↓↓  &↓↓  &↓↓  &↓↓  &↓↓⊂ %A↓  %A↓⊂ %A p(%A@@0%Ci  ↓α	  ↓A(T 1D"Q_	Be¬∪aDpα↓@$hαα∀`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPαB ∀Xα↓@D`εS!$pβQ(F Fcap	↓@ .↓@ .↓0 -A0 -A0 -↓
 (↓A
HA	a'↓ P0&A↓ &↓↓⊂ %A↓  %A↓  %A↓⊂ %↓↓  %↓↓  %↓↓  %↓↓  %↓↓⊂ %↓↓⊂ %↓ p(%A @8%B`⊂ &α ⊂ '↓ 0 "QQ⊂
Db0@β∀↓$xε∪@P α∪ @8↓S@@↓R`@P↓Rb∀Xλ∩B∀Pα∩@DPα∩@DPα∩`@HR`P(α∪↓Th¬∪`d("→B⊃(∂πA00)B
 H(A
 (ip 'A	p 'A	` %β	 `%β	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "QqHG"0XαA E_λ∀B∃λα↓Eα↓@Dxα↓`Dxα↓`Dxα↓`Dxα↓@Dx↓A`Dxα↓ Dxα↓Txε∪A4p↓@Tp↓∪ 4hεSAdpπSα$XαB TXαα`DPαβDPαβDPαB@DXαA`T`πS!Tx∧⊃(F@
¬capβ↓
 (↓
 (↓	p 'A	p 'A	p '↓	` α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
⊂PεGcp0α∀Eα∀D8∧↓Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(FP
βe↓xλ↓⊂ ,A⊂ #B↓P +A
p +A
` +↓
` +↓
P *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
  )↓
  %@@@ %B) H&↓HT 5E#↓p∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@DpααTpα↓`Dpα↓@Dpα↓ Dhα↓ Dhα`Thα@Dhα D`α d`¬S↓D`β T`α↓TXα↓ TXα↓@DXα↓@TXα↓`DXα↓`TPααTPαα T("≠↓0p∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓	` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "Q
Rλ∩∧b0 α↓`8β∪@@⊂∧A↓∀pλ!Dpβ↓!(αS `8β↓`DhαBP@α∪ @Hαα Dhαα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩@@Hαα DPαα @Hα⊃(Fp
¬b1_α↓@0'↓ H'∧	`0αA)P0βA	P(∧↓	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT 7Eαq_	B eλ¬∪aTpαA ThααT`αα@D`↓B`DXαα`DXαα`DPαβDPαβDPαβDPαα`DPαα`DPαα@DXααDXαA T`εS!4xβ⊃(G¬cA_β↓@((↓⊂H(βj0α↓Ip(βA)p ∧A	p ∧A	p ∧A	` ¬↓	` ¬↓	` ¬↓	` ¬↓	` ∧A	P ¬↓	P ∧A	P(βA)P0α↓IPx&↓ @&↓0(&↓	@ %A	0 %A	0 %A	  %↓λT 8Eβ↓`	BP_α∀↓⊂α∪a λα∪@P βS @8αS@Hα∩`PHα∩`@Pα∩`@Hα∩@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@Hα∩@@Hα∩@P8αR`P βRa0λα∪↓⊂λα∪ `_α∃@E0α∃ E(α∃ E(α∃ E α∃D("≤Aq⊂	D`@ αi` ↓↓)` AI`@&AiP0&A)P &↓)@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "Q∞1⊂
∧b0@∧∀↓DxεS@@8↓∪ Dhα∪ DhαS!∀p¬∪a%λ∧∃ E(α∃ DP↓α DPα↓@DPεRa4hβQ(G εDC⊃Hα↓	` '↓	` '↓	P %β) h%β)P &↓	@ &↓	@ %A	0 %A	0 %A	  %↓	  %↓0⊂%α) H%AHT :Eβ↓_	@`@Hα∪ @Hα∪ @Hα∪ @Hα∪@Hα∪@Hα∪@Hα∪@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩@@Hα∩@@Hα∩@@@αR@@0βRB∀P¬@ D`β↓D("≥B1@	D` ¬↓	  ¬↓	  ∧A	  ∧A	0 βA	0 β@i0 β↓	0 αA	0 αA	0 α↓	0 α↓	@_↓A	@_↓A	@_↓↓	@_↓i@_↓i@_@i@8&A)P("Q∞qh⊃∧b0αα@@α∩@@8αBDPα↓`P8α∩@@0↓@ 00α∩@@0↓@00↓R@@(↓@@0(α∩@@(↓@ @(↓R@@ ↓@@@ α∩`0 ↓@`0 ↓R`0_↓A0_α∩`0_↓A0_↓R`0_↓↓ 0⊂α∩`0⊂↓A 0⊂↓R`0⊂↓↓@0λα∩`0λ↓A@0λ↓R`0λ↓↓`0λ↓R`0λ↓↓`0λ↓∩`P@β∩`P@αR`@HαQ(G@Eb1_αA↓  'A! (↓p (AP (A@ )↓  )α*08*↓*@ *↓
00)`⊂_(@`  (`@ '@`P '`p &Ap &↓↓⊂ %A↓ ("Q∂⊃@πα0(αα@Dxαα@DxαBEααEα↓`Eα↓@Eα↓@Eα↓ Eλα↓Eλα`Eλα`Eλα@Eλα@5⊂↓@@5⊂↓@ 5⊂↓@ 5⊂↓@ %⊂αT`E_↓T`5⊂↓T Eλ↓T4xα∩`tPβR@T("≡BA(	D`Px'Cipp,↓
p +↓
P(*↓*@ )A
  (A
 'A	` &A	@ %D	!%∧λT εβQp∂↓B∃λTα∃α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("$∩_∂πB@(/↓KP8.α@_↓k0 ↓↓  ↓A _α↓⊂ α↓ αA+ β↓
p βA
` ∧↓
` ∧↓*P ¬↓
@ ¬A
@ ¬A
0 ε↓*  π↓
  π↓
⊂ πA
 λ↓* λA	p 	↓	` 	A	` 	A)P 
A	Ap&πI2%λ(T ↓πDB∂C`u0ε∃↓u_β↓ eλαB@UαCTxαC@Dxα∧Dpα∧ Dhα∧@Dhα∧`D`α¬D`α¬DXα¬ DXα↓↓P α∩`@ ε@`DPα↓↓P α∩@@ εADPα¬ DPα¬DPα¬DPα¬DPα∧`DPα∧@DPαD DXα∧DXαβ`D`αβ D`αB@Thβ↓@dpλ∀↓E⊂βQ(@_FCapλA (-↓K⊂8,`⊂ ,`⊂ +A⊂ +@`  +↓  +`0 *A@_*@`P *↓P *`` )A` )@`p )↓p )a (A↓ (↓↓⊂ (↓↓⊂('A↓ ('A↓0 '↓↓@ '↓↓@ &A↓P &@a` &↓↓` &ap %A↓p(%@b("QBλ⊃GC`0
∀β%
⊃a 8
∀"E
⊃a@λ
∩C$P
⊃(@(∞HCapβ¬J↓0(¬J π↓
 π↓	p π↓	p π↓	p π↓	p π↓	p π↓	` π↓	` π↓	` π↓	` π↓	` π↓	P π↓	P π↓	P π↓	P π↓	@ π↓	@ π↓	@ π↓	@ π↓	@ π↓	0 π↓	0 π↓	0 π↓	0 π↓	0 π↓	  π↓	  π↓λT βλ$Ap∂↓C%
∀β%αT UλαT@U_αT`U αUU(αU U0αU@e8αU`E0α∃ U αT`U⊂αT UαTDxαS@ThαSβ∀XRC$("↓cR(∂G``0∧A)`Hβα)PXααI@(α`0 ↓A)0(β@0_αA	0 β@`⊂_β↓	  ∧`⊂⊂βA
`0+A
`(+↓*` +↓
` +↓
` *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
  "Q↓↓P⊂πC`pα⊗E@α⊗E@α∃!¬⊂π∀"∧xβ@@λβ∪@P α`Thα↓ @(αS@0α↓@DXαA@@0α∩`@8α↓@DXα↓`@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@0α∩@P(α↓@DXα↓ @(αR`P α↓T`β@@λβ∪"∀xεT!¬_α∀`E_α∀@E⊂α⊃(@H∂	Capπ↓ ,↓	0(∧↓`0%A@p β↓I 8β↓`0&↓ ` β↓)@(β↓P(&↓ ` αA	@(β↓P &↓` αA	@ β↓P &↓` αA	@ β↓P &↓` α↓	0(αAP %A` αA	0(αA@ &↓P α↓	@ α↓@ &↓ 0 ↓A)@(↓A (&A@⊂P'βip`(B
0 )A
0 )↓
  "Q↓"⊃πcqλ∧⊗↓U0λ∃ `0β∀``PαT@PhαT@@xα∀ Aα∀AλαTA⊂α∀A⊂α∪`A⊂α∪`A⊂α∪`A⊂α∪`Aλα∪`Aλα∪`Aα∀1α∀0xα∀@p↓T@hα∀ 0`α∀ 0`↓T @P↓T@0Hα∀@0H↓T@0@↓T@0@↓T@08↓Ra 8¬RA00¬RA00¬Q(C
F$"λε↓*@@)αj⊂(↓A*⊂_β↓
 β@ip ∧ip_∧A	` ∧A	` ∧A	P ¬↓	P ¬↓	P ∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	0 ¬↓	0 ¬↓	0 ¬↓	0 ¬↓	0 ∧A	  ¬↓	  ¬↓	  ∧A	  ∧A	  ∧@i0_∧↓	0 β↓	0 αA)0(↓A)@X&B	`("Qε⊃λ
H$⊃V50αT↓%¬∀Pλα∃@E0α∃ E(α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ DXπ∩adPπQ(C⊂F$∩λεA*PH*αj0_αA* ⊂∧↓*⊂_∧A
_¬↓
⊂¬A	p_¬A
λε↓
λε↓P .↓@ -A0 -↓⊂ ,↓
p +↓
P *↓
0 )↓
⊂_(ip_'iP_&i1⊂%∧I!⊂"Qε10HD⊂`β∃↓∃_¬T@@(α∀ 08α∀0Hα∀ Pα∀ ⊂Pα↔5Xα⊗`EPα⊗@5Hα∃`U_∧∀`e_βU`E@α⊗ EHα⊗ EHα⊗ EHα⊗DPC DP↓βDP↓α`DP↓B DXα↓ T`ε∪!$xβ⊃(C 
F∧απA+⊂(,A
pλA
`⊂A
`⊂A
P⊂↓↓
@_A
0_↓↓
0_↓↓
 _↓A
⊂ ↓A
⊂_↓A
 ↓A	p α↓	` αA	` αA	P αA	@ β↓	@_βA	0 βA	! %¬	! *A
P *↓
@ *↓
@ *↓
0 )AλT ~EC∩λ⊂↓auλπT!eλα∀ Eα∀Eα∀Dxα∪`Dxα∪`@λαSaDpπ∪@` α∪@P0α∪@@8α∪@0@α⊗@5P↓V EHα⊗ EHα⊗DXCDX↓α@DP↓B@DPααDXα↓ T`ε∪!∀pβ⊃(C0
ε∧"λπ↓*`@*αJ0(α*  (A
 (ip '↓	` &A@ &A @&CI@8α↓)@0β↓	@(∧↓	@ ∧A	0(∧A	0 ¬↓	0 ¬↓	0 ¬↓	0 ∧A	0_¬↓	  ¬↓	  ¬↓	0_∧A	0_∧A	0_∧↓	0 βA	0 β↓	@ ↓A)@X&B)p("Qεq 
H∧⊂	∪α$X	⊗@5H↓V58α∃`50↓U 5 α∃5_↓T@E⊂↓T Eα∀Dxα∪`Dpα∪@Dhα∪ Dh↓SD`α∩`DXα∩`DXα∩@DPα⊃(C@
F$"λ¬AJ0H)αj⊂(↓A* β↓
 β@ip ∧↓	p ∧↓	` ∧↓	` ∧↓	` ∧↓	` βA	` βA	p αA
 ↓↓*⊂@(AipX'↓P &Ap_&↓↓ %A↓⊂ %A↓⊂ %↓↓  %↓↓  %↓↓  %↓↓ _%↓↓⊂ %↓↓⊂ %↓↓ %↓p %A @ %C	@P'↓HT ≤EC∩⊂⊂C U(∧∀a5⊂αA5λα↓@Eλ↓B5αα4xαα 4xαα Dpαα@Dpαα@Dpαα@4pαα Dhαα@Dhαα@Dhαα@Dhαα Thαα ThααTpα↓@dpαAtxπ∪a⊂α∀ @ α⊗E@α∃`E8↓U@E(α∃DX↓A DPε∩a$hβ⊃(B ε$2λπk_,j`0*αj p(A ⊂_↓↓
⊂_↓@`@λ(`0_'@`@_'@`@_'@`@_'@`@_'@`0_'A _'A ⊂_(α
P(BJ0@*α
@_A
0_↓@j0_↓@j0_↓@j0_↓@j0_↓@J _↓@i0λβ`  %`P_A	 (↓Ai0h&αip0(@j⊂_"Q∧ax⊃λβpxαUa¬0¬∃ @_α∃ 0 α∃0(α∃0(α∀`@(α∀`00α∀`0(α∀`0(α∀@@ α∀@@⊂αT@@λαB@∃⊂∧α`E⊂βC5_αCEλββ 5βCDx∧B@Dhα@@@P↓SP_αB4`α↓P8α∩`@0αA DXα↓@P α∩@@@α@@DPαα!∀Pαα!∧PαB dXαA! 0↓∩c4`εa4pβB d("∂aq8∂π@P8&β	0p%A` %@!⊂ *A
P *A
@ )A* ((A
 'A	p_'↓	`_&A	P_&@iP_&@Hp(A	0 %↓	  "Qπ`xλGBPXα∃E α∃D8αB 5_↓T`5⊂α∀@5⊂↓T 5λ↓T4xα∪@Dhα∪DXα∩`DPα∩@DPαα ∀PαA DXπ∪↓4hβQ(A∧αb1_α↓	` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "Qα⊃λεπα0hα∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∩`  α∩a∀P∧Sd("ε"A8∂πA00)B* X(AP (↓` 'Ap 'Ap 'Ap 'A` 'A` '↓` '↓00'↓0('↓00'↓P(&Ap &A↓ &A↓ &A↓ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓ %Ap %A08%↓08%↓ 0"Qβ!x⊃∧b0@βA`Tx¬@a$pε@!Dp↓AA⊂ α∪  Hβ↓`5@αBE@αBE@λUαDxS!d`β↓ DXααDPαα DPααdPαα`HR@P(¬↓ 4Xε@!TXεa$`∧αd("εd"(	Da⊂0¬↓*⊂PαBIph↓C	`(αA ⊂(α↓	P ∧αp_&↓↓ 0∧↓	@_¬AA %A↓1⊂%A↓1λ%↓↓Aλ%↓↓@ %↓↓@ %↓↓0(%↓↓0(%↓↓ 8%A↓@∧@)0(αA ⊂0α@i@h↓C)PXαBIp0¬↓HT ∞εβ⊃`E 5pα↔ Eh↓U `λ↓TaEλεTP β∪`@0βS@@0↓@ Dpα↓ @λα∪ @(α@Dhα↓ 0_α∪@(↓AD`α↓0(α∪@_α↓ D`α@@(α∪@⊂↓A@D`α 00α∪ p(α∪ ` αSATpε∪ 0λβ∪DXα∩`4P↓Q(Ah∃
cap	EKQ0.¬k0 ↓A0 ↓A  ↓A⊂ α↓⊂ α↓ αA_β↓
p αA
` β↓
` β↓
P βD
@ ∧∧
@ βD
0 ∧↓
0 ∧↓
  ∧A
⊃λ(D*↓⊂(a0 'A↓0 '↓↓0 '↓↓0 &A↓@ &↓↓P &↓↓Q⊂%A↓Q⊂%@aa⊂"QβbX_λβpxβUCe ⊂∀``0
T PHβ∀PXαS`P`α∪`@hα∪@@hαS @pαS @pαS@xα∪1α∩`@xαR`@x	R`@x	R@A	∩@Aα∩@@xαR@@xαR@@xα∩@@xα∩@@xα∩@@pαR@PhαR`@hα∩`PXαS@XαSPHβ∪ `0SD∀x⊂∀@t("πcb ⊃Hβ _,A`0 +∧
Aλ)A@P0(A! ((↓! 8'A!08'A↓0_↓↓	` ¬A  &A↓0 ↓A	P ¬@`P &↓↓0_β↓	@ ¬↓` %A↓  βA	0 ¬a %A↓⊂_∧↓	  ∧A↓ %↓↓ ∧A	  ∧a  %↓p_¬↓	  βa0 %↓P ¬A	  α@a0 %↓@_¬A	  ↓@a@ %A⊂ ¬A	0 @a0 &↓A0 &↓! (&A@`0&D)@_C	0_α↓i0_&(T ⊂BAqp∂↓@Eα∀Eα∀E↓S`Dxα∪`Dx↓S`4pα∪@Dp↓S@4p↓S Dh↓S 4h↓S 4h↓⊃`Pλα∩`DPα∩@D("∂↓0p∂¬ p (↓
 (↓λp(α@ip_'@i` 'i`_'i`_&A	P_&@iP_&↓	@ &↓	@_%A	0 %A	0 %↓	  "Q∧2λ∩Ica_↓α%h↓α%h↓α%`↓A`5`↓α%X↓A`5X↓α%P↓A`5P↓α%P↓α%H↓A`5H↓α%@↓A`5@↓α$`∂Sβu0↓α%(↓A`5(↓α%(↓α%(↓α% ↓A`5 ↓α% ↓α$P∂RCuλ↓A`5λ↓α%λ↓α%↓A`5↓α$x↓A`4x↓α$p↓A`4p↓α$p↓α$h↓A`4h↓α$`↓A`4`↓α$("	#B ⊃H ` λIp0πi`@εiP A↓@⊂&↓0_¬@i@_αa _%A@ ∧i0 α↓↓⊂%↓@ ∧i  α↓p_%↓@ βi  α↓`⊂%↓0 βi  ↓AP_%↓  α@i  ↓↓@_%BP⊂%A`P_&@``_β↓
P_β↓JP⊂βα
@_αA _)@`P ↓A
 _β↓0 )@` α↓
⊂_β↓@ (`p α↓	p_βA@ 'a α↓	`⊂∧A@ &@a⊂ ↓A	@_¬↓0 %@a@_↓↓	0⊂εB	 _π↓I ⊂λ↓λT ∪AA`H∂@D`α∪D`α∪ $h↓∪$X↓∩`$P↓⊃(B@	¬%Rλπ@k_+@j`_*@j@_)@j  (A
⊂_(↓
_'A	p_'↓	` &A	P &@i@ &↓	@ %A	0 %A	0 %A	0 %@i  %↓	  %↓	0_%@i0_%A	0 %A	@_&↓	P_&A	`_'@j_"Q¬⊃λ	$⊂H↓U5(↓U 50↓U@50α∃`58↓U`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ 5 α∃E_α∀`E⊂α∀@Eλα∀ 5α∪`Dx↓S@4h↓S4X↓R@4("
B1P	H! ⊂)@j0_)@i@⊂α@`Pλ&`@⊂α↓	00↓@ (&B⊂('αJ0(↓I`P&βI (↓` (%`@⊂α↓	 ⊂α@@P⊂(j_(j⊂"Q¬1h⊃πc!⊂↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗@%H↓V %H↓⊗ %H↓∩CTP∞V%@↓∃`58↓∃`%8↓∃`%0↓U@%0↓∃@%0↓∃ 5(↓∃ $("pH∧@`0 &A	@ &↓	P⊂&@I@⊂&I0⊂%HT ↔↓!⊂_↓@ DXα∩@DPα⊃(BxFEBλ@L_0Kp_/@K`_/KP_.@K@_.K0_-@K _,@k⊂⊂,k⊂+@jp⊂+j`⊂*@jP⊂*j@⊂)@j _)J⊂_(@J_(Ip_'@I`_'IP_&@I@_%@i0⊂%i ⊂%HT ≥α↓A_	ADpα∪@Dpα⊃a@λα∩`DPα∩@D("∞a `D`` (↓
 (↓λp`↓A	P &↓	@ &@IP⊂&I@⊂%@I ⊂"QπQx⊃Bb⊂∞SβT8∧βTP∞Q(DGcapπ↓j`X*βJ 0β↓
⊂(∧↓*(¬↓	p βB)` βαiP(αβ)P α↓ 00&↓P αA)@ α↓`(%A@ ∧↓	0 α↓↓ %A@ βA)  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ βA	  α↓p %↓@(αA	  αA@ %↓ PP%A`@%Ap(&↓	@(&AA('∧
`)αλT -Dα"`⊂B u_βT`u⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀Eα∀5↓S`Dxα∪`Dx↓S@Dpα∪@Dpα∪@4hα∪ Dhα∪ 4h↓SD`α∪D`↓R`DXα∩`DXα∩`4Pα∩@tPβR@t("↔"x⊗λ!⊂8)Aj08+j`_*A
P *A
P_*↓
@ *↓
@ *j0 )A
0 )A
0_)↓
  )↓
 _)j⊂ (A
⊂ (@j (↓
 (↓
_'A	p 'A	p_'@i` '↓	` 'i 8%↓i 8"Q0πB#` ↓∪ $h↓∪$X↓∩`$Pα∩@DPα∩@D("∧A↓⊂βπ@ %A	@ &@i`_'↓	p_"Qα0P↓C`0α∪`Dpα∪ D`α∩`DP↓Q(A λε a`a _%@`p &`P &↓0 &B	`0'AλT 
Cc⊂8∂@8↓R@0@↓R@@8↓R`00↓R`@_α∩a4`∧∪@D("¬B⊃H↓ε`⊃%D	!"QαpX∞↓C`_β∩a∀Pα↓4P↓A 4P↓A4P∧Sd(!@?␈␈x␈@αε?␈␈x{␈␈␈x}↓ 4p↓S 4`↓R`4Pα⊃(Bεβ@Qλ¬J⊂(&B) P%↓I _"Qa↓C`8α∀dx∧∪@@⊂α∪ 0(α∩`@8↓R@0P↓Q(ExαC`1xA	  %↓	  "Q∂Px↓C`_α↓Dhα↓D`α↓D`↓A 4Xα↓DX↓A 4P↓A 4("∨Aq@απ @_α@i@8↓@i0h%@`00%`P "Q∂phcpλα↓DXα`DPα↓DPα↓D("αcb⊂∂πA08αAj0H↓B* P↓αJ⊂ ∧↓
 ∧↓
_∧@ip ∧↓	p ∧↓	p ∧↓	p ∧↓	` ∧↓	 h↓B) h↓B) h↓B)` ∧↓	P ∧↓	P ∧↓	P ∧↓	P ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	  ∧↓	  ∧↓λT ε¬c1x∂D`E(α@`E_β@`E⊂∧`Eλα∀E↓S`Dxα∪`Dxα∪@DPπ`DPπ`DPπ`Dpαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα D("β#↓`∂πA0(↓A
08↓A
 @↓A
⊂ ∧↓
 ∧A
_∧A	p ∧A	p ∧A	p ∧A	p ∧A	` ∧A	 p↓A	 p↓A	 p↓A	` ∧A	P ∧A	P ∧A	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT πλdqx∂G`E(β↓@P_α∀a(β`E⊂∧Ap_α∀ @Hα∀@Hα∀0P↓S`@Hα∪`@Hα∪`@Hα∪`@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪ @HααDhαα @@α∪ @HααDhαα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩@@HααDPαα @@α⊃(@x∩
βap¬A@`(↓A
0@αA@0 )α @8↓A
⊂ ∧Ap (↓↓⊂ ∧↓
_¬a 'A↓⊂ ∧↓	p ∧A↓ 'A↓⊂ ∧↓	p ∧A↓ '↓↓⊂ ∧↓	 hαα 0 %β @H↓A	 hαα 0 '↓↓⊂ ∧↓	P ∧A↓ &A↓⊂ ∧↓	P ∧A↓ &A↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	  ∧A↓ %↓↓⊂ ∧↓λT ⊃βbPH∂@@(α∪@(α∪@(α∪@(α∪  8↓∪  8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓⊃(Bh¬C@ XαI P%αHT .βc0H∂↓ 8↓∪  8↓∪  8↓∪ 8↓∩` 8↓∩` 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GXF  hEI10%¬HT >F⊂ε@%TX⊗RET(wD
⊗ 2[NFH3~,W⊂⊂⊂iU_)R=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_;|α`>∩
t→8@OX≠@OX≠␈␈␈x⎇@_␈␈␈xz⊂⎇@↓Hα≡hαB_{$`εm∧¬
∂0↓	`e⊂
6}`_∞↓!⊂y↓(1=@Axα↑hα]h{↓$⊂¬h%0¬?/0βλ Xp_≥}`8∩↓LP ↓0↑=Aαλα|εαrλ{α$@ε2H¬t/0¬λ Xp_
>`X
@↓→8XαH∧=AAHα~	 ¬_X{β#⊂∧4∩@
@∂0π	 h0⎇∃ }`x∩@↓VλzαX≠=BX⎇P8βep{∧!@α_>pπQ←0	¬`@≤8∪p≡a_@↓β@pα8j⎇BA8απ∞∧}P{¬"p∧∞≤
␈0¬`@≤8∀
≡a8⊃↓Axβ@α@~⎇C↓ ↓ip¬¬{ε"`βyV@πZ∂0
λ Xp_∂S>aX∩↓LP ↓xR=CA8απ∞∧X{π%ππ⊂λ∂o0∂ x␈} ⊂=>ax∩↓LP αλ:=DX⎇P8¬π0{λ!pαM7⊂λD␈0⊃¬`@≤8∃⎇}b_∪↓[ ⊂α⊂P⎇DA8απ∞βLP{	$`εm∧λh∂0∪λ``<¬∞R>b8ε@Iλ0α ¬⎇E↓⊂↓LR∧B0{
" β→$	⊃∨0∃¬`@≤8∩;≡bX∩↓LP α(~⎇E@h↓∩⊗∧W`{!pα↑h∧o0↔β  HX∩e}bx@↓β@pα(S=F↓8απ∞β0{"p∧∞≤ε'←0→¬`@≤8b↑c_@↓β@p↓Hr⎇FA8απ∞β$0{
"p∧∞≤εV?0≠¬`@≤8
D↑c8@↓β@p↓XD⎇G↓8απ∞β=⊂{∞"p∧∞≤π
?0≥β  HX∪↓}cXε@Iλ0α0⊂=G@x↓&[H∧& {∂$@ε2H	H←0∨¬@8a|∂π>cx|_x↓hn=H↓xα↑h∧e0{⊂#p¬?~ ∧?0!π`P|j &≡d_∞@↓(λHλ∧⎇HBλα|8H∃P{⊃#@∧x:∨0#ε@H5\↓¬↑d8∂@↓/0@⊂-⎇Iαλαt∩X,{∩!Pα%v g←0%¬@8cF ↓`↑dX⊂↓7λa_f⎇IAHα≡hE⊂{∪%π↔Y0↓∩␈0'λ XPJ`α↑↑dx⊃↓B(s@0∃⎇J↓hαPKHjP{∀$ ε	<p↓`␈0)π@PS←βf↑e_
↓∩⊂`@λ⎇JAxαg@8↓ε {∃$¬S←`α∃∨0+π`P}4@∧J↑e8⊗↓xp→HR⎇K↓xα←M⊂↓(P{⊗#p¬?~ α←␈0-πPε(¬X↑eXε@L8
@α0q⎇KA8απ∞¬C_{↔!Pα1c0	hO0/¬`@≤8∀">exε@Iλ0α@S=Lh↓∩⊗∧z({_"`βyV@αt␈01ε@?→`¬z↑f_
tx`)⎇LA@α∂f8↓HP{→"@βS` β≡←03β@(β∀εL≡f8@↓β@ph:⎇M↓@α∂f8↓]P{~!0↓{ pβH←05β 0⎇`π∨↑fX@↓H;@pe⎇M@X⎇P8↓s {≠$PεCxpβo∨07ε@?→`π⎇↑fx@↓β@p↓%⎇N↓@α∂f8α	0{≤#∧∨Lp∧∨?09∧(O↓λY≡g_	dh←↓λL⎇NAλ↓>βα≤p{≥#∧∨Lp∧A?0;¬ 8J!`	_≡g8∂@↓3`β@↓⊂X⎇O↓(↓rH8α40{≡"Pβe⊂p∧r∨0=¬8∩z 	⎇≡gX@↓β@pα`1=OBp∧∞≤¬Fx{∨"p∧∞≤
⊗←0?¬`@≤8∀6≡gx@↓β@pα@x} ⊗.⊂=xow{⎇x